Nevermind, that's the convention it seems