Remove bizarre formatting for <code> tags

Editing generated code is not great, but I'm not the first one to do
so here at least...

Author: david-christiansen