Missed some files

Wow, thanks GitHub for Windows, for not showing all modified files the
first time...