Correct some dialyzer warnings