small simple bugfix