sagelib: comment removed