Too late to help now but for future reference, allen keys are not long tem investments and do wear out and loose their sharp corners with use. So, despite using the correct size, if it was worn what you experienced is easy to understand. Even good quality allen keys are cheap so replace them often or cut off the worn end (a Dremmel with a cut-off wheel works well) periodically to refresh the shape.