Small corrections to erase two warnings with -Wall