Fix a silly issue