These were inadvertently ommitted from the commit that introduced
abbreviated keys, commit 4ea51cdf.

Peter Geoghegan