Fixed some formatting. Final version.