A few comment tweaks and a small typo.