Minor tweaks to the IO and operators example