test correct return type