Suggestions for ben

Just a few code style suggestions.