other minor bugfix