drop two warnings (trivial)