Minor formatting modifications (mainly where there was one backtick instead of two)