Wout: fixed a warning