Minor cleanup of specification parser (I've found that there was some useless code left there).