Minor (probably incorrect) code change to make things compile