Fix infixops slightly