A simpler plugin header