Yep, sorry ;-)

Committed and pushed a fix