(Small changes to displayed text.)