Fix error: void variable check-fn