Add trivial exception specs to produce better code since the methods cannot