Fix for david 2.3.2.