a6daa69 Actually add the patch from previous commit

Authored and Committed by Petr Machata 11 years ago
    Actually add the patch from previous commit