#58: Change version to 0.7.1a.
#59: Fixed some mistakes in docs.