You're right. I wasn't precise enough :) There's fix in a0d966b