various utilities, which might have been useful once