Bugs

Please send bug reports to <christian@ai.univie.ac.at>.