minor fix as per bug 5698