Minor: Small ";" fixes