Fix the main/methods unit test to pass from "make verify".