Fix coding style in src/core

The PR fixes the remaining files in src/core.

/cc @timvandermeij