small content changes to download, make bits consistent, e.g. change 64-bit '64 bit'