David fixes a bug.