Another Big Fix + FormalList