Trivial miscellany