Minor fix -- closes issue #2