Fix off-by-one in fgets() size