one-line change forgot in last commit