version 1.2.5 of the documentation