Correct indentation of example
Move over missing specifications from Rook