Why a double newline here?