when referring to "code" element i find it better to eclose them with back-ticks ie `  instead of single quotes
so instead of 'Contract' and 'InternalMessages' it will render as `Contract` and `InternalMessages`