Added a comment about an error in Marnix's analysis code
Merge remote-tracking branch 'mvaziris/master'