some more trivial name corrections