options: track down and eliminate another missing typespec