Additions for the documentation