just some minor corrections