fix Andrew's previous commit