add trivial spec