tiny updates for 1.302