Totally unnecessary, but very neat.