Incorrect type -- fails on OSX