Bug 1506: Fix static typechecker output