Minor syntax modification