donote() previously was written such that it could return garbage.