Minor changes to deal with markdown