fixed my own bug in rotation_matrix()