Fix bug in version doctrine