a strange workaround