Perhaps retirement issues aren’t top of mind for the president.