missing file extension

This addresses the bug in #1247