Fixed small typos; adapted to new documentation of xbob.extension.