AHRS: minor format change