Update spec-gen.cpp 11-19-13