Fix a never happening bug