Yet another small fix.