minor fixes in configuration