increase version; fix bug 793710.