Small improvements to the header text of the Rascal console