qed: fix spelling mistake "inculde" -> "include"