Role names are not multilang-filtered in user profile

In /user/view.php, the role names in the string "Users with the role x" do not get filtered so that the multilang filter does not get applied to this string.

In v. 1.150, line 330 needs to be changed from:
print_row(get_string('roles').':', $rolestring);
to:
print_row(get_string('roles').':', format_string($rolestring));