workaround for #132