Reenable literate formating test case

I think the literate test case is magically resolved, and hence should be added back into the test suite.
what's this change for?