Amend placeholder file extension

Fixes #534