A tiny clean up