Incorrect type -- fails on OSX

Fixes #823, but with the indended type.