Tiny, tiny documentation fix -- Peter Valdemar Mørch