fix void cast test