Missed a small fix. This is hacky though- we should remove once we are done debugging