Documentation slightly enhanced.