Bug fix 940728: adjustment for see-also