Invneio-doctor: null pointer error due to the missing return