Added formal return statements