Revision 1.0.13; see HISTORY.md