small fixes in configuration