You're right, it's the right style (if Google style had 4-spaces as default indentation) -- sorry about that.