That looks a little less than half pot to me. I prefer betting about 7.5 here, just so it doesn't look like I'm scared of the flush. Your bet makes it easy for someone to raise you with air. As played, I fold too.