Make lein happy