Updated a bit of documentation