A variety of odds and ends.