Fix a little bug in builtin function history