Small update for Lein