minor bugfix

minor bugfix