As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
CREW REPORTED AN ANTI ICE DUCT RED WARNING MESSAGE. MAINTENANCE INSPECTED AND FOUND A RIGHT HAND BLEED AIR LEAK. MAINTENANCE REMOVED AND REPLACED THE BLEED AIR SENSING ELEMENT. OPERATIONAL CHECKS WERE PERFORMED. AIRCRAFT WAS RELEASED FOR SERVICE.