Documentation

this is no longer necessary