Fix #3529

Seems to be some really obscure PHP bug ...
1 file changed