442 unknown github 500

A fix for #442.