Remove unused EOFs
More specs