Small fix missed in sync repo