No problem! I noticed most of the major box distributors' boxes are still broken, so I thought I'd try to get mine working ASAP even with the current bugs in Vagrant.