Extra stuff for the code.

Nothing important, but anyway