small code style bugfix