Fix some errors in Corvette test