Ah, I read it in the coding guidelines but then apparently forgot it. Sorry!