The latter one is not due to a programming bug: there's an explicit added assertion to this effect