Fix return of void