Fix doc for augsave\!