(Placebo commit)

Git claimed to have changes. Maybe it's a codepage issue. Committing again to fix this (hopefully).