trivial workaround