[12730] Fix warning reported by travis;)