Redplusplus 9.1-3: How to deal with a brat