#4276 added missing entry in comment