Bug fix to simplification.