But we should know if it is a bug that the encoder isn't being used in some places. At the vary least, can't we consistently use it?