Maybe this fixes the problem?