Correct specs for stdout/1,2