Fix small, probably inconsequential bug