Housecleaning

Little housecleaning.