Minor corrections after another read-through