Simplifying the checkhuman directive