fix for bug1234