This source needs a copyright and license header. We should discuss this offline when you have time.