Removed 5dd96ce (#202) following 58955e5 (fix #244);