bugfix for trepl