Fix some Dialyzer warnings