quick bugfix from last commit