Fix docstring
Merge pull request #2235 from shikil/dpll2

Fix docstring