okay, now it verifies and runs, but gets a runtime type error