Minor: fixed a place where a function was supposed to return a value, but was not returning anything.