Comment by name on Sinha

@Sinha 7.3, 7.4, 7.5, 8.1 are missing, current "8.1" is actually "7.2"