Tanaka's theorem revisited