some more cleanup, fixed to README and a new example constraint