Fix docstring
Fix typo
Merge pull request #2235 from shikil/dpll2

Fix docstring
Merge pull request #2236 from shikil/typo

Fix typo