Small improvement to HOWTO-ENFIX