Minor fix related to issue #99.