remove defunct "pretty" option