cleanup for Minus.java