Minor changes about formatting