fix formatting in configuration.h