Hmm.. Why is this casting required?