Sigh, this time rename correctly

Again, thanks to @jpoon for showing me the way.