fix the description about Leiningen