restore pretty printing of brute words