Bug report #793 correction