fix a bug which is tested by problem 67