The integrated help has an inconsistency. Valid entries are url pointers (http://www.uppaal.org) or internal help pointers.
The entry activated is invalid.
Please send a bug report to bug-uppaal@uppaal.com, precising the window title.