fixes #24 (previous fix had this single file missing)