Fix bug involving classes with a parameter having a default value