fixing #7253