Minor fixes for clarity