Forgot to export getLeaves...