Fix #700: Tee is missing the writelines() method.