maple-mini: typos