# [#31217] Removed useless title on ID checkboxes. Thanks Peter van
Westen.
(Fix #1334)