Might be a touch high but not really out of line. Most alternators are designed to charge at 14.7 volts. They have to operate above battery voltage in order to drive current into the battery. My battery charger runs 14.7 when it first turns on then dials back to 13.5 when fully charged.
