formalize readme