Fix a bug with variable bounds.