To kick/ban at the same time, you could have done it as:
ban -k %chan %ban.nick 5
This will kick and ban the nick's type 5 address instead of using mode # +b and kick command separately.