minor modif to remove some useless [[ ]] tags.