workaround for #6