minor changes to the destructor prettypadding and preprocessMaybe