bugfix for '|'