Revert "remove obsolete details"

This reverts commit 5b6079c51fc44947d10aa4380d3de8495ac09c14.