tweak UnaryOp.java