Ein paar kleine bereinigungen von der letzten Session