fix for bug #436