slight syntax modification