small fix in Cheffile