Merge pull request #21130 from tohl/master
small fixes
authored by Jörg Thalheim and committed by GitHub 9 years ago c3edaab5 b8d31beb