Small docs fix for AGAST