Minor fix. #1209