It's not needed here anymore, because directory bodies are set by `putDirectory`.