Don't set *print-case* to :downcase
Remove wax stuff