- made builder writable
- remove unnecessary null check from pretty-printer