minor syntax modification