Last minor changes (last week)

These never got uploaded for some reason... so here they are!