make a small whitespace change in core