Minor corrections all around