Fix rmdir specification