Minor fix
Merge pull request #1091 from Skillert/gravedigger

Minor fix