If someone would pronounce Alek and Olek the same, the chosen transcription of the shortened nickname is pretty much arbitrary.