Minor fixes and clarification