write.py somehow escaped this branch. We don't need it for this feature, but hey.