Minor change to codestyle