Fixed #187 (empty file and missing header)