code style

This fixes some code styling found in #4371