Cleaned up the ambiguous synthetic example.