Fixed bug introduced in #8675