missed a spot for the vector => exn-info change

also update the commented type spec

this fixes a bug in commit 3474d091