minor syntax tweaks