Minor bugfix on vmcp utility