Just for the record, this has been fixed in 78b5ab6. (because Github won't close this comment)