Remove superfluous clause in fact
Merge pull request #753 from Melvar/obstructive-fact-clause

Remove superfluous clause in fact