Fix doc #1139