Various bits and pieces that don't belong anywhere else