Fixed some messed up documentation causing errors and added prob8