Added docs and one small bug fix in defreader