Completely remove Vagrant machine

The command
$ vagrant destroy
Removes a virtual machine. It removes the reference to the machine which is held in ~/.vagrant.d and destroys the virtual disk files.
However, it leaves and file and a directory behind. So, to completely remove a VM created with
$ vagrant init
$ vagrant up
it is also necessary to remove the file:
Vagrantfile
and the directory
.vagrant