some minor bugfix you know