Work around bug #2