minor

tiny bugfix...