Fix a non-critical bug