A few minor suggestions.