WYCS: minor tweaks to the way that lengthof is handled.