Fix for david 2.3.2.
Merge pull request #87 from XhmikosR/master

Fix for david 2.3.2.