Add id for the RDP port as well as auto correction.  On a Windows host port 3389 is already in use.  In https://github.com/mitchellh/vagrant/blob/master/plugins/kernel_v2/config/vm.rb#L357 the ssh port has an id called "ssh", so the "rdp" id should be fine.