WYCS: tweaks to file writer