Fixed a few more code formatting issues, submitted for publishing on 10/...

...10/2013