some tiny updates