Minor fix, ref #1195