Minor fix that addresses issue #11