efe3b67 Fix a compilation error caused by the previous patch

Authored and Committed by Petr Machata 9 years ago
    Fix a compilation error caused by the previous patch