vm: Elaborate comments for WITH_CLEANUP, other cosmetic fixes.