Is the indentation OK here?