Small syntax tweak