Minor updates: formatting mostly