Additions for edoc