More fine documentation