Correct an error in doc for window()