small fixes for codetyphon 4.8