No problem in these cases I guess, but it's probably due to historical reasons.