fix a missing >