Definition of GWOLLUM_DOC

At the end of an Omicron scan with v2r4p2 there is the following (harmless) error:

cp: cannot stat ~/virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/doc/Pics/gwollum_logo_min_trans.gif~: No such file or directory

In the definition of the ENV variable GWOLLUM_DOC (done in Linux-x86_64-CL7/etc/gwollum.env.sh!?),

(...)
GWOLLUM_DOC="/virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/doc"
(...)

shouldn't the final "(...)/doc" be replaced by "(...)/html"?

ctrl24|~>source /virgoApp/GWOLLUM/v2r4p2/cmt/setup.sh 
ctrl24|~>source /virgoApp/Omicron/v2r4p2/cmt/setup.sh 
ctrl24|~>echo ${GWOLLUM_DOC}
/virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/doc
ctrl24|~>ls /virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/doc
ls: cannot access /virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/doc: No such file or directory
ctrl24|~>ls /virgoApp/GWOLLUM/v2r4p2/Linux-x86_64-CL7/share/doc/GWOLLUM/
html