Minor simplifications and clarifications