Corrected doc mistakes; minor changes; version 0.5.2