Fix indentation problem in previous commit (darn Windows editors)