Minor: fixed a typo in a debug statement.