workaround for exotic error in documentation