Pretty alignment done in *symbol_replace.rb.