Fix ENUM documentation (bug #3698)