I already sent a pull request before remembering that I should open an issue first. Sorry about that. See #866