Only small tweaks needed for the decoder docs.