Fix warning in eclipse (missing ;)