Added a comment about an error in Marnix's analysis code