Minor fix

#1041