invariant: fix max argument count