Fix bug related to introduction of default methods