further minor corrections