fix typo in debian setup