A few fixes after uploading to kampudem.cz