added reproducer for RF-12790