[patch] Small fix

[Dekel Tsur]

<nothing interesting to write here>

patch.gz