Minor formatting fixes to make it play well in wiki