Fixed some errors in formatting, and removed leftovers.