master: Minor bug fix.