Minor format fixes to Grady's new example.