fix typo
fix warning from debian about an ill-formatted line (due to whitespace)