Some random things that don't belong anywhere else: