fixes #17 -- remove unneeded casts