Minor things

Nothing special.