Return type verification change