Several small code improvements

This MR provides a set of small improvements and fixes to the code base. We found some of these while trying to compile parts of the code with stricter flags, some issues were also reported by IDEs.