a little code-cleanup. Shouldn't impact anything