Minor corrections to comments