Adjusted documentation based on Martin Doerr's comments