David: syntax fix