Re #10532 Renamed ei monitors names to names with dashes.