Fix mixed indentation (thanks, Travis)