bugfix for plenv