Arti bug fixing