one small adjustment to an <and>