very minor update

just for syncing some minor updates