Make Operations.java case insensitive