fixed bug with <| |>