fixed up some sloppy formatting