A few tweaks, clarifications and comments.