Let's put these inside the class body (same for #99).