Fixed typesetting and added a clarification.