[rename] Yet another capitalization

arghhhh, why do I bother?