Fixed commit issue

The previous commit didn't contain all intended changes. The file was
not saved to the final version before commiting. This has been fixed.