fix documentation bug with lein