Was this code originally the one that Chris wrote? If so, you should probably at least add the CERTH copyright here as well.