Minor tidying to fix broken HTML