I have no idea how the first `p' in <?php got capitalized.