workaround for bug #1