Fixes #239: Missed file for commit f8eab2987c 
(oops friday afternoon!)