fix bug at compilation