Fixed some problems with documentation