modifying the SPECFILE