Bugfix in rational_sub