Documentation fixes to the VMM setup

Closes #117.