check (and fix) reverse-fk4 transform