minor corrections to spec