Additional documentation and fixed formatter