Fix a strange bug