corrections to beta reduction code