Fixed debian documentation