Fix embarrasing #439