fixed formal ordering