Fix compile error in Eclipse introduced by #284

Was introduced by #284.