1a8c30105fb52f8e0996a7520918f397345db377
Looks trivially correct. Merging! Thanks.
Pull-Request has been merged by mattdm