small fixes for Codetyphon 4.8