David bugfixes