Fix min/max; add tafter; fix srcname;