Stupid types...