minor syntax adjustments