simplified solve_dixon() call
added comment