Woops forgot to save some files before last commit

Probably time to go relax...