Fixed small bug (profiling still on).
Updated documentation.