Some return void annotations are not coded as it. It is needed to add ": void" and "return;" instructions to the code.