Doc fix for (^@.).