Fix type printing test.
Fix source syntax recovery.