yet another minor bugfix