Upgrade to david 1.2.0