workaround for #5