fixed #1812: Minor fix.