proper workaround