Minor interface tweaks and markup corrections.