Merge pull request #393 from tkw1536/master

Local Comment Bug Fix
Fixed yet another bug
Merge branch 'master' of git://github.com/KWARC/planetary