auto-committed by dist.ini