Minor fix to issue #1