Added formatting to vmlist

Having the list formatted using printf makes it easier to read (imho).