A few tweaks to the comments