Removed a spurious DEBUG_VAR and fixed up a comment.