These don't seem to be used anymore, is there any reason to still include them?