[haste]

It's better that people report possible errors than ignoring them, as the last won't make them get fixed until I notice them myself.