Minor typo in docu corrected