added details argument to exception constructors