minor and stupid bugfix