Style fixes, documentation