minor corrections after comments