Tiny cleanups around array codecs