small cosmetic bugfix