CoCoA:Bug

From ApCoCoAWiki