semantic exeunt fixes, arras changes