Fix Dave's bug.