minor updates because of https