johnson algorithm, bug or feature?