Fix for undefined traversers