Fix the introduction example for Python 3
Use actual matrix multiply for horizon rotation