fixed Singular/extra.cc