correction to small simplification