Typo in bug message corrected.