closes #237 nextTok_ warning