slight formatting touchups