Making static analysis happy