very small cleanup, not really worthy of a commit but here it goes