More tweaks to the comments...