fixes # 5