Commented out three debugging printfns