nothing important.
another minor cleanup.