Rename Button to ButtonPressed
Add missing header