This seems to be some dead code that should be removed...