some extra things

Once again it is never used, but ok