fix bug i introduced in pull