Fix silly build error