Add some more static analysis annotation hints