fixed a minor bug in Op