Fix documentation of 'very magic' option