Correct the specification of getMentionedUsers