Updated configuration. Cleaned up `diminish'.