core: Fix doc comment error, as per #4983
auto merge of #5542 : catamorphism/rust/issue-4983, r=catamorphism