small fix in configuration docs