Is indentation wrong here?