[BUGFIX] for https://gerrit.wikimedia.org/r/#/c/103220/

Change-Id: If04790db215e11179585df1e68252a9804c5d891