tweak to work with latest changes on NetLogo master