FIXME add Felix's correction to Michal's patch.

Change-Id: Ic87cf3696184c2afb4af2b55fd6ef0674cd8c712
1 file changed