small syntax tweaks.