Fixed runtime checker bug.