A modification to make coverity happy, does nothing