Minor bug-fix.