Remove extraneous parenthesis in seatest.c