fix encoding doc for shift types