Minor fix (issue #1)