Correction for Bug #775