Multiplexer documentation fixes

Including a leftover from a previous commit by Rudá.