Bug fix in configuration navigator