Minor fix #3