Any reason to have these manual getters/setters instead of just a property?