Minor syntax correction