甲公司通過簽訂服務期協議，提供10萬元專項培訓費用將尚有4年勞動合同期限的職工劉某派出參加6個月的專業技術培訓。雙方約定，劉某培訓結束后須在甲公司工作滿5年，否則應向公司支付違約金。劉某培訓結束工作2年時因個人原因向公司提出解除勞動合同。下列關于劉某服務期約定及勞動合同解除的表述中，正確的是（）。