Small fixes to write.down