Good catch- this used to work, but it no longer does. I've created an issue to have this fixed (#204); don't worry about it for your pull request (unless you want to fix it).