Yes! I also spotted this the other day and fixed it, but apparently hadn't pushed to this repo; it's now e48d951.