fix bug 823; fix bug 800