Fix 2013-12-13-manually-control-vmware-service.md.