cosmetic: try to make -Wall happier