Fixed small bug from #issuecomment-12137287