Two trivial warning fixes