Minor changes for clarity