Add David to acknowledgements