core: Fix doc comment error, as per #4983