Fix silly warning