Gibson wished he could have pitched longer