Proper documentation

OK, but not complete.