Minor fix

#1000