Minor fix, #1210