still trying to reproduce issue 12800