Fix problems in basic documentation