Minor updates to alphax.txt