Various problems spotted by Matthias.