Further translation

If this is deprecated, can we just delete it?