A few minor updates