Fixed bug that was seemingly not committed.