update to revision 712