Documentation, fix formatting