exception spec can be simplified