Added files missing from 4f523ff.

Apparently these changes didn't go through due to a glitch in my Git
client.