Coding style: add ; where they were missing