Revision 1.2.7; see HISTORY.md