fix for patch 6 (forgot to include a file)