It is used in PR #1111. And leave it as it is for avoiding conflicts in future.