Minor bug fix?