Minor indentation glitch