messy casting

.