Slight rewrite for style