small additional corrections