Fix embarassing compilation error :-/