random

Some odds and ends.