cleaned up arisweb stuff