Fixed documentation for portal implementation. Pay attention to mentios of $jump that I rewrote to $jump->(). I didn't test it but I believe it to be the right way.