Small bugfixes in details.ts