libvmi.h - remove stray /**