Fix one of the correction messages