Good point. fixed in e54c28ea4335270c354784c69034d6a926e4b1a9.