fix debugging typo I introduced