added convenient methods for ghci