Bug fix (Marek)