Documentation for 'final' values wrong?

[Lutz Justen]

Hey there,

The krb5.conf documentation
  https://web.mit.edu/kerberos/krb5-1.12/doc/admin/conf_files/krb5_conf.html
indicates that tags can be marked final by adding a '*' at the end, e.g.
  foo = bar*
However, if I'm reading the parsing code in src/util/profile/prof_parse.c
right, it looks for the '*' in the 'tag' part, i.e. 'foo', see near the end
of parse_std_line(). That means, the correct syntax would be
  foo* = bar

What is the correct syntax? Is the documentation wrong or the parsing code
(or my code reading skills)?

Thanks,

- Lutz