Make the setters not public, since they shouldn't be called by users
anyway.