Removed unnecessary ugly cast