A few formatting bug fixes. + rmdir for wok.exec