Fix another issue in the Comonad specification.