Two quick lint warning fixes