corrected; change didn't appear in manual