Fix indentation due to GitHub