Resolves: https://bugzilla.redhat.com/show_bug.cgi?id=1670997
Actually, this is so trivial, I'm going to just merge..
Commit 1b2cc12b fixes this pull-request
Pull-Request has been merged by jhrozek
Resolves: https://bugzilla.redhat.com/show_bug.cgi?id=1670997