Fixes #9045 ("Wrong macro name on docs")