rbeezer/fcla — pull request #14 by jafontaine (2013-11-07 22:12:54+00:00)
Title: Proof DMFE: missing a comma (Jenna)

A comma was needed in Line 565 to make grammatical sense.