Minor tweaks and comment corrections.