Minor change to the way the vncserver is called