issue #4234: Fixes linking error in UI.