Trivial fix for issue #336