Fix tabulation caused by GitHub edit for #19