WYRT: minor tweak for specification of Math.max()