Revision 1.16; see HISTORY.md