Oh, it turns out it’s an older style of referencing targets and is no longer supposed to be used. That’s a shame.