Fix indentation, looked weird in github