no functional changes
Commit 937106d8 fixes this pull-request
Pull-Request has been merged by tkopecek
no functional changes