Added a few library functions