Fixed a misprint in debian/control