Corrections after the previous commit