Patrik: minor fixes