Fixes #4232
auto merge of #4233 : driftersprt/servo/BUG-4232, r=jdm