Merge pull request #827 from stdweird/typecheck_format2

Typecheck format2
Merge branch 'develop' into typecheck_format2