Thanks, fixed in 447b0e6 (force pushed).