Add a comment for STI hierarchy handling to specs

Also fix formatting in specs