Small fixes due to tabs instead of spaces