Bugfix for lively plugin