I also put a drop of super glue on the trigger pin, let it dry and pushed it in to make sure it fits snug.
None of this affects the performance of the marker, but I need to be upfront about it and the fact that the lowers should probably not be stripped again.