OK, dann hat sich djb, wie so oft, wohl nicht an den Standard gehalten :)