Correct a runtime bug. #2.