Who said he actually wrote the program? He might have worked with a couple of other people to make Bitcoin.