Micro bug-fix.