Fix a small bug in RichHTML.alert and RichHTML.info