Fix thinko in latest change for GNAT encodings