Added the missing space. Fixes #7538.