GenThey Broken Tests Fix

Refined error messages in FunSpec and FlatSpec, which fixes broken tests in genTheyTests (discovered by Travis).