Another attempt to fix github code formatting