Small fixes in spec (removed argv function, removed commented-out line)