Minor improvement of documentation