Update agsdefns.sh

petites corrections