workaround for #1