Updated antlabmain

meant to do it earlier, so everything got out of sync, but I think I
fixed it....