corrections after comments