workaround #6