Minor fix #1.