strange indentation - mix of spaces and tabs?