b9c1f3b Eclipse: Add a missing space in the documentation
The note is not visible to the blocked user.