minor bugfix with last commit