a few syntax updates