NDEBUG fixes