fixed infixr bug