Indeed, I think this can happen. The comment has been changed accordingly.