Code finished, just to top off the doc