missing return at eof