minor fixes

Trivial enough to merge myself, I think.

The only interesting part is the one about the RGB_11_11_10 encoding, which was only accidentally working before, as I didn't properly understand how that format worked.