minor correction [#56493186]