a minor bugfix