minor tweaks in syntax