Minor changes to formatting and javascripts