Minor commit. Correction in a message