yet another minor bugfix :/