extend #8385