Be explicit about ':' alignment; add getters/setters