Fixing formatting errors.

Fixing formatting errors in HTMLBook spec page noted by @MurakamiShinyu in #164