#12539 bugfixing