minor fix for current nimrod development version