Revert "minor stuff"

This reverts commit 171f396019daffd1aad1ef6012d755141ebc10d1.