Bugfix in NASSERT