tiny stylistic cleanup