layout correctness